(∞, 1)-category
#Fleeting_Notes
(∞, 1)-category((∞, 1)-圏)
(n, r)-categoryの内、n=∞、r=1の場合の圏
(n, r)-category
$ n : 圏の階層。
$ r : n-圏から見て矢印の階層の深さ。
対象、射(1-射)、2-射、3-射、...という風に無限階層の射があるという言い方になる
n > 1の射は可逆
2-射以上は可逆(2次元以上は可逆)
圏の階層は∞で、各階層が扱う射の範囲は対象と射レベルで見る
Univalent Foundations
擬圏が関係ある
∞Grpd
ホモトピー論的圏
A_∞圏
確認用
Q. (∞, 1)-category
メモ
『(∞, 1)-圏に対する基本的構成』
(infinity,1)-category theory in nLab
(∞,1)圏のモデルについて | Mathlog
(infinity,1)-category in nLab
調査用
/pogi-log/Google.icon (∞, 1)-圏(日)
/pogi-log/Google.icon (∞, 1)-category(英)
/pogi-log/Wikipedia.icon
(∞, 1)-圏 - Wikipedia(日)
(∞, 1)-圏(検索) - Wikipedia(日)
/pogi-log/Wikipedia.icon
(∞, 1)-category - Wikipedia(英)
(∞, 1)-category(検索) - Wikipedia(英)